Lazy Evaluation in Microsound Synthesis

نویسندگان

  • Hiroki Nishino
  • Adrian David Cheok
چکیده

The microsound synthesis framework in the LC computer music programing language integrates objects and library functions that can directly represent microsounds and related manipulations for microsound synthesis. Together with the mechanism that enables seamless collaboration with the unit-generator-based sound synthesis framework, such abstraction can help provide a simpler and terser programing model for various microsound synthesis techniques. However, while the microsound synthesis framework can achieve practical real-time sound synthesis performance in general, it was observed that temporal suspension in sound synthesis can occur, when a very large microsound object beyond microsound time-scale is manipulated, missing the deadline for real-time sound synthesis. In this paper, we describe our solution to this problem. By lazily evaluating microsound objects, computation is delayed until when the samples are actually needed (e.g., for the DAC output), and, when performing the computation, only the amount of samples required at the point is computed; thus, temporal suspension in real-time sound synthesis can be avoided by distributing the computational cost among the DSP cycles. Such a solution is beneficial to extend the application domains of the sound synthesis framework design beyond microsound synthesis towards more general sound synthesis techniques.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Experiences of elementary male students from descriptive evaluation

This study conducted with aim of investigation profound experiences of elementary male students in the fourth and fifth grades from the descriptive evaluation. The method of this study was qualitative and phenomenological one. To achieve this objective and considering the nature of the study, purposeful sampling was used. Collected Data were saturated by interviewing with nine students. Data we...

متن کامل

Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

Recently, we proposed a systematic method for top-down synthesis and verification of lemmata and algorithms called ”lazy thinking method” as a part of systematic mathematical theory exploration (mathematical knowledge management). The lazy thinking method is characterized: • by using a library of theorem and algorithm schemes • and by using the information contained in failing attempts to prove...

متن کامل

A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra

There are several methods for the synthesis and analysis of hybrid systems that require efficient algorithms and tool for satisfiability checking. In this paper we give examples of such synthesis and analysis methods, and discuss decision procedures that can be used for this purpose.

متن کامل

Extended Waveform Segment Synthesis, a Nonstandard Synthesis Model for Microsound Composition

This paper discusses a non-standard technique for timedomain waveform synthesis. In Extended Waveform Segment Synthesis sound is described as a structure of blocks of amplitude micro-fluctuations. These structures can be updated during synthesis or different structures can be combined generating dynamic evolving waveforms. This technique is intended to be: first, an extension of the existing li...

متن کامل

Algorithm Synthesis by Lazy Thinking: Using Problem Schemes

Recently, as part of a general formal (i.e. logic based) methodology for mathematical knowledge management we also introduced a method for the automated synthesis of correct algorithms, which we called the lazy thinking method. For a given concrete problem specification (in predicate logic), the method tries out various algorithm schemes and derives specifications for the subalgorithms in the a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016